1.6.1 xFFBD: towards a formal yet functional modeling language for system designers
نویسندگان
چکیده
منابع مشابه
Towards a formal language for systemic requirements
This work is an attempt to contribute to the field of systems architecture. More precisely, it deals with complex engineered systems analysis. Many informal methods for architecting such systems have been described over the past decade, but a lot of specific points still need to be clarified by a precise (mathematically formalized) definition. In particular, the languages used to manipulate sys...
متن کاملTowards a Formal Language for Privacy Options
Describing complex ideas requires clear and concise languages. Many domains have developed their specific languages for describing problem instances independently from solutions and thus making a reference model of the domain available to solution developers. We contribute to the zoo of domain-specific languages within the privacy area with a language for describing data disclosure and usage co...
متن کاملTowards a formal composition language
When do we call a software development environment a composition environment? A composition environment must be built of three parts: i) a reusable component library, ii) a component framework determining the software architecture, and iii) an open and flexible composition language. Most of the effort in component technology was spent on the first two parts. Now it is crucial to address the las...
متن کاملTowards the Formal Modeling of a Secure Operating System
To construct a secure operating system with high assurance, it is essential that the security architecture of the operating system can be analyzed vigorously and that the architecture can be easily understood by engineers who translate the design into code. In this paper we describe a partial model of the security policies of an operating system which implements a variant of the Bell-LaPadula m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: INCOSE International Symposium
سال: 2012
ISSN: 2334-5837
DOI: 10.1002/j.2334-5837.2012.tb01329.x